More from this Author

Testing of Communicating Systems

by Roland Groz (Editor), Robert M. Hierons (Editor)

Software Engineering and Formal Methods

by Robert M. Hierons (Editor), Mercedes G. Merayo (Editor), Mario Bravetti (Editor)

Formal Methods and Testing

by Robert M. Hierons (Editor), Jonathan P. Bowen (Editor), Mark Harman (Editor)